$\forall$$T$:Type, $P_{1}$, $P_{2}$:($T$$\rightarrow\mathbb{P}$). ($P_{1}$ $\vee$ $P_{2}$) $\in$ $T$$\rightarrow\mathbb{P}$